xen/arm: Don't hardcode VGIC informations
authorJulien Grall <julien.grall@linaro.org>
Fri, 26 Apr 2013 18:53:17 +0000 (19:53 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 13 May 2013 10:59:59 +0000 (11:59 +0100)
commit699f48cd134f6cf92375f0b00fcb67cffc8f40b4
tree260a846362104c913ed0305ecd5a5a6f30d8a56d
parentf5bde3da40ea79cbd4a1ab4de28e46e338bf7486
xen/arm: Don't hardcode VGIC informations

- Define VGIC base address per domain. For the moment the base addresses
to dom0 base addresses.
- The number of interrupt lines (ie number of SPIs) is equal to:
    * 0 for guests
    * number of host SPIs for dom0

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.c
xen/arch/arm/vgic.c
xen/include/asm-arm/domain.h
xen/include/asm-arm/gic.h